Logics with given centers and state spaces
نویسندگان
چکیده
منابع مشابه
Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups
We prove that, given a nontrivial Boolean algebra B, a compact convex set S and a groupG, there is an orthomodular latticeL with the center isomorphic toB, the automorphism group isomorphic to G, and the state space affinely homeomorphic to S. Moreover, given an orthomodular lattice J admitting at least one state, L can be chosen such that J is its subalgebra. Mathematics Subject Classification...
متن کاملQuantum logics with given centres and variable state
We ask which logics with a given centre allow for enlargements with an arbitrary state space. We show in this note that these are precisely those logics the centre of which possesses a two-valued state and the state space of which is nonempty. This extends the results of 1] and 9] and supplements the results of 3] and 10]. We also comment on some related questions.
متن کاملState Spaces, Local Logics, and Non-monotonicity
This paper uses the information-theoretic machinery developed in IF 2] to relate the way error is handled in the sciences to the problems of non-monotonic reasoning. In Information Flow in Distributed Systems 2] (hereinafter IF) Jerry Seligman and I develop a mathematical theory of information. One problem tackled there that of accounting for the sorts of exceptions to law-like regularities ass...
متن کاملEmbeddings into Orthomodular Lattices with given Centres, State Spaces and Automorphism Groups
We prove that, given a nontrivial Boolean algebra B, a compact convex set S and a group G, there is an orthomodular lattice L with the center isomorphic to B, the automorphism group isomorphic to G, and the state space aanely homeomorphic to S. Moreover, given an orthomodular lattice J admitting at least one state, L can be chosen such that J is its subalgebra. 1 Basic deenitions and historical...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1983
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1983-0691287-9